WyC: bug fix for parsing tuple expressions.