This reverted commit 02a46e0237. That commit didn't fix the real bug (a program name in the wrong list).
02a46e0237