then why is this comment here?