These were formatting discrepancies that existed before all of the previous changes. We may as well resolve them so that others don't run into them.