Commit 5cd513026fe49e83cfd544a7b375bf4fa1466b21 Parent e245f1a2d5ec76807633806a5af1ebe52fe5bd6d Author John MacFarlane <jgm@berkeley.edu> Date Wed, 10 Sep 2014 09:00:40 -0700 Updated test cases in spec to reflect last change.