fixed in #7373, thanks!