comment and cleaned up independent vertex cover