posts/2012-12-31: trivial format changes