fix some minor format issues