Re: [firedrake] Wrong matrix assembly