fix in-object property printing on 64-bit master