diff --git a/pform_dump.cc b/pform_dump.cc
index 07b9cbf59..6d2d3a9cd 100644
--- a/pform_dump.cc
+++ b/pform_dump.cc
@@ -627,10 +627,10 @@ void PGBuiltin::dump(ostream&out, unsigned ind) const
 	    out << "bufif1 ";
 	    break;
 	  case PGBuiltin::NOTIF0:
-	    out << "bufif0 ";
+	    out << "notif0 ";
 	    break;
 	  case PGBuiltin::NOTIF1:
-	    out << "bufif1 ";
+	    out << "notif1 ";
 	    break;
 	  case PGBuiltin::NAND:
 	    out << "nand ";