Fix type in travis config