Minor correction in inline documentation.