--- doc/intro.xml.orig	2013-10-27 11:31:20.000000000 -0600
+++ doc/intro.xml	2019-12-31 14:28:49.375301481 -0700
@@ -81,7 +81,7 @@ The following ⪆ packages are require
 The following ⪆ packages are not required but highly recommended:
 
 <List>
-<Item><Package>carat</Package></Item>
+<Item><Package>CaratInterface</Package></Item>
 <Item><Package>CrystCat</Package></Item>
 <Item><Package>GAPDoc</Package> is needed to display the online manual</Item>
 </List> 
--- PackageInfo.g.orig	2013-10-27 11:31:20.000000000 -0600
+++ PackageInfo.g	2019-12-31 14:28:05.295403414 -0700
@@ -235,7 +235,7 @@ Dependencies := rec(
                    ],
   # without these the package will issue a warning while loading
   SuggestedOtherPackages := [
-                   [ "Carat", ">=1.1" ],
+                   ["CaratInterface", ">=1.1" ],
                    ["CrystCat",">=1.1.2"], 
                    ["GAPDoc", ">= 0.99"]
                    ],