It`s just very top,prob 1 thread thickness ,like if you had put needle nose pliers on it an nipped a little chunk out ,was just going to try and either file it flat,or hacksaw it flat,gotta be really careful though,as i know it`s just a short bit of copper pipe that goes into the jacket,very fragile,the last 1 was leaking from the water container bit last time,the travelling up the inside to the electrics.
I did hear talk about another in line that was supposed to be good