As I suppose, the bounty manager most likely made a mistake in calculating the total remuneration pool, but in any case it is ugly with respect to the bounty participants of the company and I think that this problem should be solved.