Better emit names.