fix a style error