Simplify haddock-visible comment