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

@ChengTian @muratg
Ah.. Missed that. I'll fix it.