--- webserver_auth.module.original      2007-01-15 12:19:54.000000000 -0600
+++ webserver_auth.module       2007-01-15 12:21:50.000000000 -0600
@@ -15,7 +15,7 @@ function webserver_auth_init() {
       // only loaded modules will see this hook
       module_invoke_all("webserver_auth");
       // if we are in bootstrap, load user.module ourselves
-      if (!module_exist('user')) {
+      if (!module_exists('user')) {
        drupal_load('module', 'user');
       }