Cmm comments are not Haddock comments---should this change?