bugfix in SQLite initializer