Fix typo in lab9