Mònica, Thanks for the report. This issue has been fixed upstream: http://bazaar.launchpad.net/~dolfin-core/dolfin/main/revision/6306 Upstream plans to do a new release soon so I will hold on a few more days before I patch and upload. Johannes