some debug messages included