more touchups to formatting