some layout changes, and 2014-08-01 stdout is slow