fix type in travis file