Two more Haddock module attribute syntax updates

cf. revision 47cd57c38bb16aee6fb972f003b5c2350a68e94b
Merge pull request #1165 from benmachine/haddockattributes

Two more Haddock module attribute syntax updates