fixed specification of the byte code