Github user tison1 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.
... close as @zentol suggested---
