Fixed #3371: corrected a mistake.

Corrected a mistake.