This looks like a typo, and I certainly don't think it should be merged.