another small error in documentation