Fix a windows unused-arg warning