Tidying up another section of the instructors' guide on SVN