Documentation: Lecturer use cases fixed