Fix a compilation issue.