Fix errors in travis configuration