Fix a style bug