Does this header (and similar headers here) even need this include?