Make sure translate works with IntDisplayList and translate the value, rather than the key