Fix a warning with debug=no