Corrections to vertex selection condition
Corrections in definitions
Merge remote-tracking branch 'origin/master'