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

@ChengTian @muratg
No problem :smile: