Minor API fixes [db.executePragmaStatement() deprecated]