Small changes in docs