mini-change in (ess-dump-to-src); two days ago