Absolutely, these should be ripped out. I forgot to delete these in the course of making an edit which involved these lines.