Pretty-printing reenabled