Missing ending `` for verbatim.  Fixes #331