Made pretty-printing work