Changes to formatting, escaped <case>.