Thanks for noticing that and taking the time to offer a pull request. I cherry-picked your change to `tp33` and `master` on 6bb7d570fc568f668ab924e46837034629c861d8 - merged
[ Full content available at: https://github.com/apache/tinkerpop/pull/1072 ] This message was relayed via gitbox.apache.org for [email protected]
