* main_db.ml: Todo -> better error message