Thanks. Fixed by check-in [65c6c26bb48d5347](https://www.sqlite.org/src/timeline?c=65c6c26bb48d5347&y=a), I think.