[jhc] darcs patch: fix bug where the static argument transf... (and 1 more)