improved dummy index symmetrization in sums [Chris Dams]