Minor corrections in comments