[jhc] darcs patch: finally remove the ambiguity between the pointer to a ...