working with fenics 1.4