Re: Missed patches concerning valgrind-detected issues