diff --git a/src/pprint.c b/src/pprint.c
index 8abbf5a7f4771f52d34badc0788969b735e7c893..a91d9d848eeb4c91775fb069cb39b2c4222aa01b 100644
--- a/src/pprint.c
+++ b/src/pprint.c
@@ -67,11 +67,11 @@ void h_pprint(FILE* stream, const HParsedToken* tok, int indent, int delta) {
   }
     break;
   case TT_USER:
-    fprintf(stream, "%*sUSER\n", indent, "");
+    fprintf(stream, "%*sUSER:%s\n", indent, "", h_get_token_type_name(tok->token_type));
     break;
   default:
     if(tok->token_type > TT_USER) {
-      fprintf(stream, "%*sUSER %d\n", indent, "", tok->token_type-TT_USER);
+      fprintf(stream, "%*sUSER:%s %d\n", indent, "", h_get_token_type_name(tok->token_type), tok->token_type-TT_USER);
     } else {
       assert_message(0, "Should not reach here.");
     }