Fixed a wrong integer type