Thanks for reporting this. Dan Kennedy's fix is at https://www.sqlite.org/src/info/e54a33ce56432b23 .