Update

Fix lots of typo and typesetting bugs. Add some code highlight.