Fix for 32-bit build :-/