TESTING: added yet another test case.
WYCS: bug fix for index of operations.