Formatting

Minor formatting tweaks.