Cosmetic, but annoying thing.  Does it related to fonts that are missing in Mavericks? If so, how can we know what font exactly to install (and how)?