fixed bug in Travis config file