yet another bugfix in the byte code