Fixing small errors in lab2 specs