San Gregorio Atlapulco: Huacaloco y Oztoczingo, ¿así es el nombre correcto?

Huacaloco y Oztoczingo, ¿así es el nombre correcto?