Fixed bug in subset in RedBlackSet.