Fix a stupid compilation warning