Namespace fix for dolfin::MPI in a demo.