fix typo in dolfin install instructions