various small typos and updates