minor typo fixes, 6.835 cancelled