Minor formatting change of the travis build file