Small fixes of errors in the docs