WyC: bug fix for an interesting piece of code which appears now to be redundant.