Fixing broken Travis configuration