fix a style issue