fixed some pretty printing