Minor typography tweak.