Clean up output from read_eval