This was fixed with commit [8a048124ae802b39].

Closing.