Okay, I missed the point about "shot him in the head". I had thought it was an accidental shooting or a mistaken assumption about him being armed.

That said, I thought only select groups of policemen were allowed to carry guns in the UK. Has that changed, or was this one of those special groups?