Minor fix in symmetry