Fixes a NameError