fix to bug in pretty printing. defaults also handled by pp.