AST: fixed debug print.