Silly Mistake on INT

Nabeel, sorry about that. Made a silly mistake on the last pull request. This is the fixed one.