Update FsCoreSerializer.fs