Some fixes and the AST documentation chapter