fix error in documentation - thanks, mh!