fix typo in travis configuration