2013-10-07-02.24.49: More prettyprint tidying.