Documentation: minor stylistic changes