Github user sihuazhou commented on the issue:
https://github.com/apache/flink/pull/5635
@StefanRRichter Could you please have a look at this? This is a trivial
work, but can improve performance a lot (It looks like we forgot it when
restoring).---
