space things out in the ternary, and in the arguments to printf