diff --git a/src/Data/Syntax.hs b/src/Data/Syntax.hs
index 53ab460d4..e830c3656 100644
--- a/src/Data/Syntax.hs
+++ b/src/Data/Syntax.hs
@@ -307,4 +307,4 @@ instance Evaluatable Context where
   eval Context{..} = subtermRef contextSubject
 
 instance Tokenize Context where
-  tokenize Context{..} = sequenceA_ contextTerms *> contextSubject
+  tokenize Context{..} = sequenceA_ (sepTrailing contextTerms) *> contextSubject