Never mind. My eyes were probably too tired to spot a simple (manually bolded and condensed) Times Bold in it. Well, now I see why it looked so familiar.