minor issue in ASTConverter