documentation: minor correction