minor corrections to the debug messages