A couple formatting corrections