better travis-ci formatting