WyCS: debugging continued problem related to #352 and now #353