Little bug fix: comparing integers