Inicialmente lo bautizaron "Vallejuelo".