ugly formatting is better than letting haddock mangle it completely