On Sun, May 1, 2016 at 5:00 PM, Ilia Mirkin <imirkin at alum.mit.edu> wrote: > Nice find! An alternative way of fixing it is below. Thoughts? I don't care much, but I think that your way adds more complexity and is more prone to similar bugs in the future. Marek