By your ruling it would be the following:
M1 keeps 1 banana and gives one to M2
M2 keeps 1 and gives one to M4, but gets one from M1
In that case, all the "even" monkeys get 2 Bananas, which is not what we want