This fixes #8111.  It was in the list twice.  I just removed one of them.