Fix a strict-standard-warning