Fixed bug in travis integration