Small fix in mnemonic bytecode saving.

See commit 9e4ecad982044283d3301e12ceb6e6aff5ff407a