bugfix in the bytecode generator