Some wording mods and bug fixes for the paper.