minor fix to travis