hexstr / cold-print fixes from Douglas Katzman