hopefully fixed a bug in right action of manin_maps