Fixing details in debug printout