minor changes in docs