... and some output formatting