Minor changes in docs and API