Use correct size, otherwise it crashes on 32 bit