Removed ugly boldface.