Re: [Kwant] Bug report