Make --highlight and --no-bold work together.