Corrected wrongly named Travis CI config file