Formatting was done. Minor comments were added.