Fix tutorial to have exact translation of example

Fixes #903.