fixed in #2809