Bugfix in Selection.getNodes().