minor docfix