minor typo fixes in lab12