Fixed travis, I guess