Database.Sqlite: bugfix in benchmark