Why do we need this header? Isn't that added by Python by default?