Small fixes to the workshop text
Merge pull request #2 from bartvde/fixes

Small fixes to the workshop text