Publishing at Fri Nov  1 18:22:51 JST 2013: Formatting.