minor changes to GetNames.py