Minor corrections to workshop 3.