Fix rare crashes regarding user agents

Issued a fix that prevents crashes when the $_SERVER superglobal does not have the User agent. Also fixed a couple of documentation problems.