Minor corrections in docs