Improve readability of read_eval() output