On Sun, Nov 10, 2013 at 10:08:08AM -0800, Christopher Smith wrote:
>    I think these two lines can be deleted in favor of the identical 2 below
>    at L56-L57

Oops, thanks.