diff --git a/src/libdoc/phsprt.gls18 b/src/libdoc/phsprt.19
similarity index 99%
rename from src/libdoc/phsprt.gls18
rename to src/libdoc/phsprt.19
index 6a9a9e31..270789c9 100644
--- a/src/libdoc/phsprt.gls18
+++ b/src/libdoc/phsprt.19
@@ -100,7 +100,7 @@
 						  ((= i 1) (car m))))
 		      (phaseprinc1 file filep '| |)
 		      (phaseprinc1 file filep (caddr dat))
-		      (phaseprinc1 file filep '|, 19|)
+		      (phaseprinc1 file filep '|, |)
 		      (phaseprinc1 file filep (car dat))
 		      (phaseprinc1 file filep '|.|))
 	      (status date)