minor corrections in docs