fix \rtimes