A few more minor formatting tweaks.