Fix a few formatting nits.