Minor improvements
Merge branch 'chris/plaza-refinement' of ssh://bitbucket.org/fenics-project/dolfin into chris/plaza-refinement