Some language improvements in the docs