minor travis config