Oh, I didn't realize that was still a problem with today's fonts. OK, I'll change it.