Thanks. (I see now why I wasn't seeing it too.)<div> Robby On Friday, May 31, 2013, Sam Tobin-Hochstadt wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> On Fri, May 31, 2013 at 5:43 PM, Sam Tobin-Hochstadt <<a href="javascript:;" onclick="_e(event, 'cvml', 'samth@ccs.neu.edu')">samth@ccs.neu.edu</a>> wrote: > Here's a stack trace (it was easier than I thought): And I've now pushed a fix. Sam </blockquote></div>