Fix travis header issue.