fix cut-and-paste error.