Update Firedrake reference