Maybe we should just add a comment saying what this does (since the other option is reading the Python source).