string2rule.py: Fixed a small bug.