@@ -1940,8 +1940,8 @@ lookupTheoremEnvironment name = do
19401940 Nothing -> return ()
19411941 return $ space <> B.text (renderDottedNum num)
19421942 else return mempty
1943− let title = B.strong (B.text (theoremName tspec) <> number
1944− <> optTitle) <> space
1943+ let title = B.strong (B.text (theoremName tspec) <> number)
1944+ <> optTitle <> space
19451945 return $ divWith ("", [name], []) $ addTitle title $
19461946 walk italicize bs
19471947