Travis: fix typos