Errata corrige and additions to user manuals