Fixes a segmentation fault caused by an uninitialized set