diff --git a/rust-spec/lightclient/supervisor/supervisor_001_draft.md b/rust-spec/lightclient/supervisor/supervisor_001_draft.md
index cdd291436..df7a71b3e 100644
--- a/rust-spec/lightclient/supervisor/supervisor_001_draft.md
+++ b/rust-spec/lightclient/supervisor/supervisor_001_draft.md
@@ -584,6 +584,7 @@ func VerifyAndDetect (lightStore LightStore, targetHeight Height)
             }
             else {
                 // there is an attack, we exit
+		submitEvidence(Evidences);
                 return(lightStore, ErrorAttack);
             }
         }