Typo, says "is not an integer"; (some of the other ones have the same copy-pasta problem)