documentation: Minor correction.