Some stylistic changes in the docs