Small docfix.