Different font in menu bar [OS X]

[jerrytm]

Some items in top menu bar has got different font on OS X.
I think, this is bug. Could it be fixed?

For example:
Unxpected: (Edit > Mark)
<a href="/uploads/default/original/3X/b/d/bd1f10dce2458c87b066eb9b561112932aa7be87.png"target="_blank">

[aziz]

Nice catch, Sharp eye!

I confirm this happens to me as well, seems like a legit bug