Update lab9.md