work around strange Haddock parse error