Fixed in #4103