Untested attempt at a fix for travis