--- Catalog.orig.cc	2014-07-18 17:08:54.000000000 -0400
+++ Catalog.cc	2014-07-18 17:08:57.000000000 -0400
@@ -731,7 +731,7 @@
     (*entry)->value.fetch(xref, obj);
     return gTrue;
   } else {
-    printf("failed to look up %s\n", name->getCString());
+    error(errSyntaxError, -1, "failed to look up ({0:s})", name->getCString());
     obj->initNull();
     return gFalse;
   }