yes, looks like a cut-paste fail.