It's fixed in #4614