Yet another docfix commit