Minor revisions -- mostly to comments