Fix #5878 by changing some words around.