You're right, it should always be an integer. I again changed more than I had to :).