Correction in comment.