Fixing broken Travis configuration.