Minor changes in docs.
Better indentation.