@Anorov, you're absolutely right, it's better to remove this code - that makes less changes to the original PoolManager. Thanks!