KeyedSemElemSet: fix comment

I changed my plan a few commits ago