language and formatting refinements