final formatting tweak (hopefully)