fixed an accidental Travis error