Fix get_integer/1