Minor typofixes in comments