Minor: capitalization change in docs.