diff --git a/src/Parser/Interface.md b/src/Parser/Interface.md
index 2c65cfa..3dc4251 100644
--- a/src/Parser/Interface.md
+++ b/src/Parser/Interface.md
@@ -238,6 +238,7 @@ parseTheseChars cs = do
 Attempt to parse an exact string
 
 ```idris
+export
 exactString : String -> Parser String
 exactString str with (asList str)
   exactString "" | [] = pure ""