small formatting change to travis.yaml