A few fixes to TokimecPrint().