Fix a symmetry bug; Add a testcase.