The ticketing agents are right. Just go to any immigration and passport office with a copy of the passport and the visa and they will make the correction immediately. It will also save the passenger from any problems at the airport at the time of arrival.