Fix a possible compilation warning