Yet another minor Travis test fix