Should we remove part of this comment?