Minor formatting tweaks