WyC: oops, minor problem with the naming of some test files which is now corrected.