@ano Did you report it? Maintainers are very helpful and responsive.