fix some styling related to #662