From 5908b242aab05e3fdfdc0a6c2f74c0a5ceb6c2c8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Colin=20Axn=C3=A9r?=
 <25233464+colin-axner@users.noreply.github.com>
Date: Thu, 15 Apr 2021 12:15:55 +0200
Subject: [PATCH] update docs

---
 modules/light-clients/06-solomachine/spec/01_concepts.md | 3 ++-
 modules/light-clients/06-solomachine/spec/04_messages.md | 1 +
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/modules/light-clients/06-solomachine/spec/01_concepts.md b/modules/light-clients/06-solomachine/spec/01_concepts.md
index a121803f43c..de62bdf70d4 100644
--- a/modules/light-clients/06-solomachine/spec/01_concepts.md
+++ b/modules/light-clients/06-solomachine/spec/01_concepts.md
@@ -109,7 +109,8 @@ proof, err := cdc.MarshalBinaryBare(timestampedSignatureData)
 ```
 
 NOTE: At the end of this process, the sequence associated with the key needs to be updated. 
-The sequence must be incremented each time proof is generated. 
+The sequence must be incremented each time proof is generated. The proof height provided 
+to the SDK messages are discarded and not used. 
 
 ## Updates By Header
 
diff --git a/modules/light-clients/06-solomachine/spec/04_messages.md b/modules/light-clients/06-solomachine/spec/04_messages.md
index 465ea6229a7..5b159c3976a 100644
--- a/modules/light-clients/06-solomachine/spec/04_messages.md
+++ b/modules/light-clients/06-solomachine/spec/04_messages.md
@@ -6,3 +6,4 @@ order: 4
 
 The messages used to initialize a solo machine light client are defined in the
 core sub-module [02-client](../../../core/spec/04_messages.md).
+