Type fix in comment.