setext style headers are better - ghc complains otherwise