bug fixing in travis config file