Another fix for FEniCS 1.3