Fix a minor warning.