diff --git a/Driver/HTMLPrint.cpp b/Driver/HTMLPrint.cpp
index ba9cd9e..b1c4c6d 100644
--- a/Driver/HTMLPrint.cpp
+++ b/Driver/HTMLPrint.cpp
@@ -67,7 +67,7 @@
   // for example.
   
   if (PP) html::SyntaxHighlight(R, FileID, *PP);
-  if (PPF) html::HighlightMacros(R, FileID, *PPF);  
+  if (PPF) html::HighlightMacros(R, FileID, *PP);  
   html::EscapeText(R, FileID, false, true);
   
   // Open the output.