Commit 7b0feef72f8dd6e6d1ea61e70272fb826202e820 Parent c360bb0e1767cd89e51a8580c29c2ccfbbd5a0f1 Author John MacFarlane <jgm@berkeley.edu> Date Sat, 17 Jan 2015 21:02:54 -0800 Fixed typo.