Trivandrum is what the English called it. Bombay = Mumbai, same way. Let's not nitpick :)