fix another NameError