style tweak in travis build file