Fixes https://github.com/aspnet/KRuntime/issues/910

@ChengTian @muratg
:+1: