Minor formatting changes. Also removed non-ASCII characters.