minor tweaks for formatting