minor lab13 typo fixes