fix typo
Merge pull request #2868 from jw2013/integer-typo

fix typo