minor error correction in comments