Update FsCoreSerializer/FsCoreFormatter.fs