Fix a couple formatting issues