As an aside: this seems like a legacy DOLFIN comment.