Make the spec for lab1 cover a few more things.