To nejsou Dobrovského tunely, ale tunely Dobrovského. Nejmenují se po Dobrovském, ale po ulici Dobrovského, pod kterou částečně prochází. Kdyby byly, řekněme pod ulicí Štefánikovou, nebyly by to Štefánikovy tunely, ale tunely Štefánikova. A mimochodem, oficiálně se jmenují Královopolské.