Minor improvement to PRINT-HASH-TABLE.