fix type in travis