FEniCS updates