Como apenas nadie más que los funcionarios la llamaban por este nombre, el nombre oficial fue cambiado por el nombre popular, «la rotonda mágica», a finales de la década de los 1990.