Remove some misplaced annotations

Some annotations in the comments weren't supposed to work as
annotations and made a bug in the example.