minor format tweaks