Just an annoyance in the Consolas font metrics. It would look correct in the bitmapped old console font.