Update lab4.md