Fix NameError introduced in commit 473caf415603e0b69ac29b0f0e59761b3c583ed8.