Python: Python: simple REgex  example