Fix a cut-and-paste error