Fix a warning with --pedantic