Use emacs pretty print to improve appearance
Fix a compile error for an un-used term