bug fix (binary translation)