Patch: fix cut & past problem on 64 bit platforms