Postscript for haddock and "prop>".