doc en: fix pulished attribute