Minor revisions in comments and output.