lab1 spec. clarification typo fixing