A Modification of the Greedy Algorithm for Vertex Cover