Fix bold font in terminal