WyC: Updated final test case for #418.

At this point, #418 is now complete.