src/Database.h: comment fix