Minor debugging output changes