corrections for travis