fix type in travis script