small modification for travis update