Fix lab1 solution typo