Some annotations revised and added.