Fix for travis crash