[Florian Kummer] Bug in 32 bit stuff