Correct typo that caused the 32bit error (that it did not appear in 64 is black magic thought)