1.0.17.2: better PRINT-OBJECT method for threads