Fix bug in finding vertex cover