Removed spurious cut-and-paste text