Fix to the bytecode interpreter