Minor changes due to symmetries bug