corrections in the documentation of the web console