bug fix - wrongly named travis config file