fsharp.core fix