typos and minor comment adjustments