some changes to dbuggen