Same question. Why does this need to exist in this header?