Minor changes in docs