This already comes from the header, should be safe to remove.