Firedrake Cahn-Hilliard: fix bug in user code