Repaired basic pretty printing