Yes indeed, good catch. I don't have access to a PC running MiKTeX just now, but it would make sense to report the bug to MiKTeX. TeX Live does run on 64-bits Windows, yes, as well as a number of other platforms. Arthur