AST printing fix