I think I know why this happened.
I think it's a typo by whoever transcribed it into AMG. They were going by the album sleeve, with the sloppy-calligraphy lyric sheet, when they typed into AMG.
If you look at the lyric sheet for Comfortably Numb (JPG Attached), you will see that the line "OK, Just a little pin prick" has the word "OK" on its own line with an underline beneath it. I think the person typing in the titles thought that this was a separate song.
Sacrelige, really, that they wouldn't know Comfortably Numb by heart.
