Correcting markup in S01724.xml