Fixed typos
A few fixes from the workshop