fix in Travis config formatting