refining debug messages: