more formatting corrections for travis-ci