Small fixes to the workshop text