Use old-style set constructor, for compatibility with python 2.6