This was fixed by 8bf704262d672ae0735f0685bfd1c9ddcb1d8484, closing.