Commit fb34178a06c0d10063270681d2a4125449fbc16a Parent b44b188894a057e78459a3af4c4e75c1862d23a0 Author John MacFarlane <jgm@berkeley.edu> Date Wed, 13 Aug 2014 22:35:20 -0700 Removed TODO.