Fixed some errors on the workshop slides