Remove spurious copy/paste