Fixes int syntax bug