Corrected travis-ci configuration