REBASE: Comment cleanup

Author: hulpke

lib/ghomfp.gi

@@ -1234,7 +1234,7 @@ InstallGlobalFunction(ProcessEpimorphismToNewFpGroup,
 function(hom)
 local s,r,fam,fas,fpf,mapi;
   if not (HasIsSurjective(hom) and IsSurjective(hom)) then
-    Info(InfoWarning,1,"ill created epimorphismfp");
+    Info(InfoWarning,1,"fp eipimorphism is created in strange way, bail out");
     return; # hom might be ill defined.
   fi;
   s:=Source(hom);
@@ -1244,13 +1244,15 @@ local s,r,fam,fas,fpf,mapi;
     return; # the method does not apply here. One could try to deal with the
     #extra generators separately, but that is too much work for what is
     #intended as a minor hint.
-    Error("fp generators?");
   fi;
   s:=SubgroupNC(s,mapi[1]);
   fam:=FamilyObj(One(r));
   fas:=FamilyObj(One(s));
   if IsPermCollection(s) or IsMatrixCollection(s) 
      or IsPcGroup(s) or CanEasilyCompareElements(s) then
+    # in the long run this should be the inverse of the source restricted
+    # mapping (or the corestricted inverse) but that does not work well with
+    # current homomorphism code, thus build new map.
     #fpf:=InverseGeneralMapping(hom);
     fpf:=GroupHomomorphismByImagesNC(r,s,mapi[2],mapi[1]);
   elif IsFpGroup(s) and HasFPFaithHom(fas) then