A pesar del precepto, en documentos oficiales internacionales continuaba la práctica de omitir la primera parte del nombre oficial de la república.