Fix an old copy-and-paste bug.