doc: italics instead of boldface