Full polish of the paper, just before final submission.
Fixed typo.