Minor changes to debugging info for nagion