fix typos in Haddocks

[ci skip]