fix c8a76830 with deal 8.1

The constructor taking an IndexSet was added after the 8.1 release.