Bug fix: `NSMutableIndexSet`s were being encoded as non-mutable `NSIndexSet`s