Fixing up the correct reference of fsharp.core.