minor correction in comment