Small fix for Xamarin