Correct terminal font size