Fix referencing to translator instructions

Fixes #589

Signed-off-by: Michal Čihař <michal@cihar.com>