s1715: formatting