(Minor edits.)