fix bug in BytecodeTransformation