Deletion of some comments and reformatting.