Very minor tweaks to wording of paper