diff --git a/src/english/DictEng.gf b/src/english/DictEng.gf
index 3f993cf8e..16f27744b 100644
--- a/src/english/DictEng.gf
+++ b/src/english/DictEng.gf
@@ -8424,7 +8424,7 @@ lin camwood_N = mkN "camwood" ;
 lin can_N = mkN "can" "cans";
 lin can_V2 = mkV2 (mkV "can" "cans" "canned" "canned" "canning");
 lin can_VV = {
-    s = table { 
+    s = table {
       VVF VInf => ["be able to"] ;
       VVF VPres => "can" ;
       VVF VPPart => ["been able to"] ;
@@ -31368,8 +31368,8 @@ lin litter_basket_N = mkN "litter-basket" "litter-baskets";
 lin litter_lout_N = mkN "litter-lout" "litter-louts";
 lin litterbin_N = mkN "litterbin" "litterbins";
 lin litterer_N = mkN "litterer" ;
-lin little_A = variants {mkA "little" "less"   "least"     "little"; 
-                         mkA "little" "lesser" "least"     "little"; 
+lin little_A = variants {mkA "little" "less"   "least"     "little";
+                         mkA "little" "lesser" "least"     "little";
                          mkA "little" "littler" "littlest" "little"};
 lin little_Det = mkDeterminer singular "little" ;
 lin little_N = mkN "little" ;
@@ -33101,7 +33101,7 @@ lin maxwell_N = mkN "maxwell" ;
 lin may_N = mkN "May" "Mays";
 lin may_PN = mkPN "May";
 lin may_1_VV = {
-    s = table { 
+    s = table {
       VVF VInf => ["be possible to"] ;
       VVF VPres => "may" ;
       VVF VPPart => ["been possible to"] ;
@@ -33114,7 +33114,7 @@ lin may_1_VV = {
     typ = VVAux
     } ;
 lin may_2_VV = {
-    s = table { 
+    s = table {
       VVF VInf => ["be allowed to"] ;
       VVF VPres => "may" ;
       VVF VPPart => ["been allowed to"] ;
@@ -43164,11 +43164,11 @@ lin protuberant_A = compoundA (mkA "protuberant");
 lin proturan_N = mkN "proturan" ;
 lin proud_A = mkA "proud" "prouder";
 lin provable_A = compoundA (mkA "provable");
-lin prove_V = mkV "prove" "proves" "proved" "proved" "proving";
-lin prove_V2 = mkV2 (mkV "prove" "proves" "proved" "proved" "proving");
-lin prove_V2V = mkV2V (mkV "prove" "proves" "proved" "proved" "proving") noPrep to_Prep ;
-lin prove_VA = mkVA (mkV "prove" "proves" "proved" "proved" "proving");
-lin prove_VS = mkVS (mkV "prove" "proves" "proved" "proved" "proving");
+lin prove_V = mkV "prove" "proves" "proved" "proven" "proving";
+lin prove_V2 = mkV2 (mkV "prove" "proves" "proved" "proven" "proving");
+lin prove_V2V = mkV2V (mkV "prove" "proves" "proved" "proven" "proving") noPrep to_Prep ;
+lin prove_VA = mkVA (mkV "prove" "proves" "proved" "proven" "proving");
+lin prove_VS = mkVS (mkV "prove" "proves" "proved" "proven" "proving");
 lin provenance_N = mkN "provenance" ;
 lin provencal_A = mkA "provencal" ;
 lin provender_N = mkN "provender" ;
@@ -49454,7 +49454,7 @@ lin shotgun_N = mkN "shotgun" "shotguns";
 lin shotton_PN = mkPN "Shotton";
 lin shotts_PN = mkPN "Shotts";
 lin should_VV = {
-    s = table { 
+    s = table {
       VVF VInf => ["be obliged to"] ;
       VVF VPres => "should" ;
       VVF VPPart => ["been obliged to"] ;