diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs
index 4abd52d6a..5e673ca75 100644
--- a/src/server/PGFService.hs
+++ b/src/server/PGFService.hs
@@ -521,7 +521,7 @@ errorMissingId = badRequest "Missing identifier" ""
 
 notFound = throw 404 "Not found"
 badRequest = throw 400
---serverError = throw 500
+serverError = throw 500
 
 throw code msg extra =
     throwCGIError code msg [msg ++(if null extra then "" else ": "++extra)]