Indeed... I created a PR for that: #1404.