Horstmann's hyphens changed to <sg/>

Also ; removed at the ends of lines.