Small correction of documentation.