Minor modifications in debug message printing.