fixing some typos and docs in intro workshop