frenetic.1.0.1

Fixed some small bugs:

- Frenetic -> frenetic in executable

- Pretty-printing