Fix bold font in terminal

`cterm=bold` --- what is was forgotten.