headliner glued to pinch weld correct or not?

I have the glass guy coming tomorrow. when I had my headliner installed they wrapped the liner onto the pinch weld. Does it need to be trimmed off of the pinch weld for the new window rubber? I assume those spikes behind it hold the headliner in place ??