turn prettyPrint into __str__
(#6)