Minor correction of capitalization