Corrected travis-ci config.