sanitize $_SERVER variables.
minor improvement to sanitizing stuff.