doc en: fix wrong file extension