I think before all browsers ended up filling it in, it was standard practice to set up the server to intercept anything missing that part before the domain name and stick a "www" in front so it wouldn't just dead end. Basically a redirect.