integer translation bug fix