WyC: bug fix for scanning string constants.