Update lec-23-lab.md