Some small details updated