doc en: follow recent changes