Cosmetic fixes in docs.