Fix a really small strict warning