Commit 977a9dd1cd0e5574799211d697b0889431fc0876 Parent ec48b49edb041b8a42d3f35c8738f869cec9dc49 Author John MacFarlane <jgm@berkeley.edu> Date Fri, 9 Jan 2015 22:23:02 -0800 Small optimization.