corrections in docs