minor refactor
improving the travis-ci config