bug fixed for travis setting