Small modifications to bring into alignment with paper text.