Re: Monday's valgrind results: no new errors