Minor error correction in s_subseteq