correcting mistyping in some comments