Fix bug in imposing symmetries