type correction in comment.