Fix weird change that occurred in travis file