Delete some spurious text that appears to be the result of a bad cut/paste