fix typo in the travis CI build script