Minor changes in docs.