Fix a minor g++ warning