more formatting refinements