Small changes to doc and added PDF version.