Re: [firedrake] Simple code failing in parallel