That's the same font I used. Dunno how to explain the inconsistency, but this is not a very important bug to worry about.