fix 32 bit oops from ed5a8fcb93