[+DS] Fix for travis.