Resolve problems associated with pull request #4

Commit #a17ba5d removed an unused argument in `Sadd` but failed to
change the lines that call `Sadd`, so the code no longer compiled. This
commit fixes that.