Should we drop the comment here? I think it might confuse some people.