fix for dolfin 1.1
Merge branch 'master', remote-tracking branch 'origin/master'