Output the right name for specification