Name-to-int map updated