Bufix: Opcodes output.

Fixes #634.