fix a style bug