a little tidying of generated output