Travis fix

Fixes Travis