Commit 660c320030fa91facaee51d6119e6670e49634b3 Parent 0b746507aad92a8f7ec942e06889df62ec441f54 Author John MacFarlane <jgm@berkeley.edu> Date Fri, 28 Nov 2014 22:32:09 -0800 Minor reformatting.