Move documentation to make haddock happy