fix a style violation