Fix a mac compilation error