Minor fixes due to the submission of the new draft version.