Github user zentol commented on the issue:
https://github.com/apache/flink/pull/6347
`vertices` is the correct plural, but this is another one of those cases
where fixing it might cause more harm than good since it could cause merge
conflicts, yet provides no functional benefit.
Additionally this PR makes a lot of whitespace changes that should be
reverted in any case.---
