reverted my recent changes to the pretty-printing of list; too complicated for tonight