Yes, it is a workaround of a bug in Xamarin.iOS.