Fixes #1135 - not_super_admins not defined

Unnecessary comment.