Mild formatting tweaks