Final version added.