Update LinearFSpec.mkd