make nametoken final