Fix AST link. Minor formatting changes.