fix a Name Error