fixed printing in ast