diff --git a/src/Signatures.ml b/src/Signatures.ml
index 2032217a86935b835e8bdb75de7ec9df750c39d3..2cf44205aca7132f6d1eb55478da396bda52c324 100644
--- a/src/Signatures.ml
+++ b/src/Signatures.ml
@@ -174,8 +174,8 @@ module type DSTRUCTURE = sig
 
 end
 
-(* [GSTRUCTURE] describes an input of [Structure.Option],
-   and also describes part of its output. *)
+(* [GSTRUCTURE] describes an input of [Structure.Option]
+   and an input of [Solver.Make]. *)
 
 module type GSTRUCTURE = sig
 
diff --git a/src/Structure.mli b/src/Structure.mli
index 122837f07df6576b8fbc78a4a9ceb329794b0c50..a3e02fbff0d172e7473f57b756b11f15ca1f8857 100644
--- a/src/Structure.mli
+++ b/src/Structure.mli
@@ -22,4 +22,5 @@ module Option (S : sig (** @inline *) include GSTRUCTURE end) : sig
 
   (** @inline *)
   include STRUCTURE_OPT with module S = S
+
 end