minor stylistic changes in docs