Fix some Haddocks