fix cut'n'paste error in travis config