Fix another integer conversion issue