Improvements over lab session 3. Fix typos.