Make Chrome happy
Fix ints not being ints