Tiny output tweaks