Fix developer name in travis config