another small docfix