missed bracket

diff --git a/Documentation/notes_on_formal_proofs.mdwn b/Documentation/notes_on_formal_proofs.mdwn
index 8c6091885b4f658a57d031ba2ae56a8b46065eab..01966058c10e1cfd19280bd910a8fce900b2bb85 100644 (file)
--- a/Documentation/notes_on_formal_proofs.mdwn
+++ b/Documentation/notes_on_formal_proofs.mdwn
@@ -13,8 +13,8 @@ In the discussion below, I'll be referring to the following URLs:
 ## Pipeline Stage Architecture
 
 A pipeline stage appears to have the following overall architecture
-(there will almost certainly be exceptions to this that I'm not familiar with
-lkcl: no, there are absolutely none.  no exceptions.  at all.  this is
+(there will almost certainly be exceptions to this that I'm not familiar with).
+(lkcl: no, there are absolutely none.  no exceptions.  at all.  this is
 because there is a defined API):
 
                (from previous stage)