corrections for travis CI