a couple more final formatting tweaks