Changes to make haddock happy

This patch modifies comments to avoid crashing haddock.