Frenetic -> frenetic, pretty-printing changes