made pretty printing nicer