Fixed a bug in symmetrization.