Minor changes in the code documentation.