Some improvements to the submission.