On Mon, Jul 11, 2016 at 1:36 PM, Burlen Loring <burlen.loring at gmail.com> wrote: > certainly seems like a bug worth fixing. let me know if you want me to start > a bug report. That'd be great. Thanks, Burlen.