Fix mistake in S/MOD