diff --git a/util/makedefs.c b/util/makedefs.c
index 7256759d2..6af03358e 100644
--- a/util/makedefs.c
+++ b/util/makedefs.c
@@ -1552,12 +1552,15 @@ h_filter(char *line)
 
 static const char *special_oracle[] = {
     "\"...it is rather disconcerting to be confronted with the",
-    "following theorem from [Baker, Gill, and Solovay, 1975].", "",
+    "following theorem from [Baker, Gill, and Solovay, 1975].",
+    "",
     "Theorem 7.18  There exist recursive languages A and B such that",
-    "  (1)  P(A) == NP(A), and", "  (2)  P(B) != NP(B)", "",
+    "  (1)  P(A) == NP(A), and",
+    "  (2)  P(B) != NP(B)",
+    "",
     "This provides impressive evidence that the techniques that are",
-    "currently available will not suffice for proving that P != NP or        "
-    "  ",
+    ("currently available will not suffice for proving that P != NP or"
+    "          "),
     "that P == NP.\"  [Garey and Johnson, p. 185.]"
 };