bugfix for isSubset(), see trac ticket 551