Fixed a mild JavaScript bug, in which a non-server admin would get a JS error.