minor fix for travis ci