another docfix