WyC: updated 004 to use the new syntax.