fix asts.dot