added prettyprint, need to figure out why it's not working.