small typos and fixes