Update MSpecHelper.fs