JavaScript Int32 fix is in the right place now