adapted in DBManager.pm