Minor comments and formatting added.