am 4243710b: am 89f4a546: am 0c933df6: fix bug in code snippet

* commit '4243710bf8b4bf3a0bec9c4cf3b00e4b69651883':
  fix bug in code snippet