Minor changes to debugging messages.