minor format tweak