r18630: Better way to display ref-pointers with [print]. Thanks to metze for