Ah - OK, I guess that answers my question above about 64-bit; perhaps keeping this comment would be a good idea.