Re: [firedrake] Fix for problem with Monge-Ampere demo