Fix @example tag.