Minor setting for travis