s1715: more formatting