Minor docfix