Possibly fixes an sqlite3 bug