Better typography, and minor corrections