Minor Travis fix.