Use a hack to control duplicate names.