This has been fixed with commit
6b5ef03a2582ab23228478018fd356e17db1daea.
Closing.