minor fix for travis configuration