This fixes #8099.  The names have been corrected.