Fix a spurious warning.