translate trap name when loading from json

Fixes #6522