Will be fixed in #3934