Just minor formatting tweaks.