Miscellaneous fixes for the new bold printing