s1725: minor text formatting