Fixing Travis-ci config.