Formatting corrections for PR17.