Tiny output tweak