Commit ce2bb01f33a68c0c73bc5f56bf351e5c9f4a9972

Joe Tsai 2015-11-02T09:39:11

Revert accidental deletion in Section 10.