More output tweaks for debugging...