Minor updates to debugging output.