ignore that: it's fussing about 0x1000 not 0x10000