small change, some pretty printing