A few more style changes. No big deal.