Fix lab3-2 spec