handles should be printed as hex, not decimal; merged from 6.0