Of course I only fixed it in one place. Fixed the travis file.