Corrections for Travis