Minor modifications in comments and reformatted the document (indentation and etc.).