fix a couple formatting bugs