Formatting tweaks, as always.