We were using a mixture of "––" and "--". We now
consistently use "--", which has the advantage that copy/pasting
flags will work.