Fixing travis-ci config file