Fix mistake in S/MOD.