Remove some spurious comment markers in docstrings.

These were introduced by commit 31b314c835 converting doc-comments to
LDoc 1.4.