Custom CSS setting goes missing with admin_menu

Install instructions say to set the path to a Custom CSS file in global theme settings.

If you have admin_menu installed and use it to navigate to Site Building > Themes > Configure > Global Settings, it goes to the path /admin/build/themes/settings/global, as opposed to /admin/build/themes/settings which the code expects.

This breaks the code:

      // This is a global setting, so only insert the field
      // on the global settings page.
      if (arg(4)) {
        return;
      }

(nice_menus.module, line 34)

Instead, I would suggest something like:

      if (arg(4) && arg(4) != 'global') {