Minor revision.