Fixed a style warning