Formatting and minor tweaks.