Bug fixes

Fixed some bugs in the greedy set cover algorithm.