minor corrections in comment area