Fix typos in the documentation

Introduced by previous commit, 93ac261cbb95b73b208d31c1919bb8c3079acb5f.