1 files changed, 2 insertions, 1 deletions

diff --git a/bank-eiffel/account.e b/bank-eiffel/account.e
index 1fc62fb..7c127ec 100644
--- a/bank-eiffel/account.e
+++ b/bank-eiffel/account.e
@@ -105,7 +105,8 @@ feature -- Basic operations
 
         remove_authorized_signer (an_authorized_signer: PERSON)
                 require
-                        authorized_signers_never_empty: get_authorized_signers.count >= 2
+                        authorized_signers_never_empty: (get_authorized_signers.has (an_authorized_signer)
+                                and get_authorized_signers.count >= 2) or True
                 do
                         if authorized_signers.has (an_authorized_signer) then
                                 authorized_signers.prune (an_authorized_signer)