In the same year, Pondicherry was renamed ‘Puducherry’.