From d45261113c050a400e4d65f6cc1fd37ff10ff624 Mon Sep 17 00:00:00 2001
From: Alexander Hulpke <hulpke@math.colostate.edu>
Date: Sun, 12 Jul 2020 17:08:17 -0600
Subject: [PATCH] DOC: Clarifying remark on `IsAutomorphismGroup`

This resolves #4070
---
 lib/morpheus.gd | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/lib/morpheus.gd b/lib/morpheus.gd
index f8e09c65f0..1905f51d24 100644
--- a/lib/morpheus.gd
+++ b/lib/morpheus.gd
@@ -123,7 +123,9 @@ DeclareAttribute( "AutomorphismDomain", IsGroupOfAutomorphisms );
 ##  <Prop Name="IsAutomorphismGroup" Arg='G'/>
 ##
 ##  <Description>
-##  indicates whether <A>G</A> is the full automorphism group of another
+##  indicates whether <A>G</A>, which must be
+##  <Ref Prop="IsGroupOfAutomorphisms"/>,
+##  is the full automorphism group of another
 ##  group <M>H</M>, this group is given as <Ref Attr="AutomorphismDomain"/>
 ##  value of <A>G</A>.
 ##  <Example><![CDATA[