bug fix in new mempool implementation