Fix a compilation error.

See https://bugzilla.xamarin.com/show_bug.cgi?id=8137 for details.