corrections in docs.