Fix a compiler warning