that was fixed in #3567