Re: [firedrake] Bug report