diff --git a/src/runtime/haskell-bind/PGF2.hsc b/src/runtime/haskell-bind/PGF2.hsc
index 64f849e56..8511a38d6 100644
--- a/src/runtime/haskell-bind/PGF2.hsc
+++ b/src/runtime/haskell-bind/PGF2.hsc
@@ -520,7 +520,7 @@ nerc pgf (lang,concr) lin_idx sentence offset =
       where
         retLit e = --traceShow (name,e,drop end_offset sentence) $
                    Just (e,0,end_offset)
-          where end_offset = length sentence-length rest
+          where end_offset = offset+length name
         pn = retLit (mkApp "SymbPN" [mkApp "MkSymb" [mkStr name]])
         ((lemma,cat),_) = maximumBy (compare `on` snd) (reverse ls)
         ls = [((fun,cat),p)