fix some formatter bugs