Travis error ought now to be fixed