Fix vertex cover bug