fix to travis"