Bug fix regarding height of bold font