Minor fix to TravisCI config.