Someone did some cutting and pasting and didn't quite finish the job :-).