wagle

diff --git a/doc/sphinx/addendum/canonical-structures.rst b/doc/sphinx/addendum/canonical-structures.rst
index a8975c363..e3594cd26 100644
--- a/doc/sphinx/addendum/canonical-structures.rst
+++ b/doc/sphinx/addendum/canonical-structures.rst
@@ -200,7 +200,7 @@ over the types that are equipped with both relations.
 
   Check forall (e : LE.type) (x y : LE.obj e), x <= y -> y <= x -> x == y.
 
-We need to define a new class that inherits from both ``EQ`` and ``LE`.
+We need to define a new class that inherits from both ``EQ`` and ``LE``.

wagle

package main

import (
	"fmt"
	"strings"
)

func main() {
	rot13 := func(r rune) rune {
		switch {