minor travis fixes