2013-11-02-23.02.19: Changed <<space>> to <<blank>> pervasively in the prettyprint stuff because I think it reads better.