Fix cut and paste error.

No functionality change.