more on regular expressions for strings in PLYex.py