fix for printing ForAST