Github user greghogan commented on the issue:
https://github.com/apache/flink/pull/4383
@zentol @fhueske I am merging the change with the extra space since this
looks to have been the original intent. I've looked at both forms without
finding a strong preference.---
