minor changes in docs.