Bug was probably introduced by engineers in the process of designing PCB by manual silkscreen label placing. Except these two bugs pin labels are correct and very useful. There are plenty of other labels including very smart description of MCU parameters, board name, MCU name, product code,...