comp_math.* : style corrections.