add travis correction