2013-09-25-10.03.58: prettyprint work.