Most of Horstmann's line-terminal punctuation removed.