Buggy operational transformation on client side