Fix of travis config