Fixed a bug in travis installation