Modify abstract a little and minor corrections to 3.1