Fix some misnomers in the docs