fix integer -> int