minor modifications in the header fonts in graphics.histogram()