fixed bug in travis