Commit 1a50dc9b0ff1f57c9ef3f595205cd81be0170eb2

Joe Tsai 2015-11-02T03:30:21

fix formatting of Section 12.