Tweaks to debugmessage format