correction of painful spelling errors in some comments