further improvements in debugging messages