fix a NameError